Haskell B. Curry: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The Combinatory Foundations of Mathematical Logic

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 1.27 MB

english, 1942

2

Language, Metalanguage, and Formal System

Haskell B. Curry

Journal:

Philosophical Review

Year:

1950

Language:

english

File:

PDF, 218 KB

english, 1950

3

CALCULUSES AND FORMAL SYSTEMS

Haskell B. Curry

Journal:

Year:

1958

Language:

english

File:

PDF, 1.03 MB

english, 1958

4

The Inconsistency of Certain Formal Logic

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1942

Language:

english

File:

PDF, 246 KB

english, 1942

5

The Paradox of Kleene and Rosser

Haskell B. Curry

Journal:

Transactions of the American Mathematical Society

Year:

1941

Language:

english

File:

PDF, 3.48 MB

english, 1941

6

Two examples of algorithms

Haskell B. Curry

Journal:

Archive for Mathematical Logic

Year:

1964-1965

Language:

english

File:

PDF, 739 KB

english, 1964-1965

7

Addendum to Early History of the Association for Symbolic Logic

C. J. Ducasse and Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 149 KB

english, 1963

8

Introduction to mathematical logic: Vol. I, by Alonzo Church. 376 pages, 6 × 9 in. Princeton, Princeton University Press, 1956. Price, $7.50

Haskell B. Curry

Journal:

Journal of the Franklin Institute

Year:

1957

Language:

english

File:

PDF, 245 KB

english, 1957

9

Early History of the Association for Symbolic Logic

C. J. Ducasse and Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 422 KB

english, 1962

10

A Formalization of Recursive Arithmetic

Haskell B. Curry

Journal:

American Journal of Mathematics

Year:

1941

Language:

english

File:

PDF, 1.23 MB

english, 1941

11

A Simplification of the Theory of Combinators

Haskell B. Curry

Journal:

Year:

1948-1949

Language:

english

File:

PDF, 807 KB

english, 1948-1949

12

Some aspects of the problem of mathematical rigor

Curry, Haskell B.

Journal:

Bulletin of the American Mathematical Society

Year:

1941

Language:

english

File:

PDF, 2.20 MB

english, 1941

13

The Interpretation of Formalized Implication

HASKELL B. CURRY

Journal:

Year:

1959

Language:

english

File:

PDF, 1.14 MB

english, 1959

14

Mathematics, Syntactics and Logic

Haskell B. Curry

Journal:

Year:

1953

Language:

english

File:

PDF, 1.01 MB

english, 1953

15

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Some Philosophical Aspects of Combinatory Logic

Curry, Haskell B.

Year:

1980

Language:

english

File:

PDF, 958 KB

english, 1980

16

THEORY AND EXPERIENCE

Haskell B. Curry

Journal:

Year:

1953

Language:

english

File:

PDF, 150 KB

english, 1953

17

Some Advances in the Combinatory Theory of Quantification

Haskell B. Curry

Journal:

Proceedings of the National Academy of Sciences

Year:

1942

Language:

english

File:

PDF, 250 KB

english, 1942

18

A new proof of the church–rosser theorem

Curry, Haskell B.

Journal:

Indagationes Mathematicae (Proceedings)

Year:

1952

Language:

english

File:

PDF, 1.12 MB

english, 1952

19

The Elimination Theorem When Modality is Present

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 1.10 MB

english, 1952

20

On the Definition of Negation by a Fixed Proposition in Inferential Calculus

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 506 KB

english, 1952

21

The permutability of rules in the classical inferential calculus

Curry, Haskell B.

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 354 KB

english, 1952

22

The Weak Theory of Implicationby Alonzo Church

Review by: Haskell B. Curry and William Craig

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 348 KB

english, 1953

23

Memories of S. S. Curry

Curry, Haskell B.

Journal:

Year:

1959

Language:

english

File:

PDF, 314 KB

english, 1959

24

A Revision of the Fundamental Rules of Combinatory Logic

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 758 KB

english, 1941

25

Consistency and Completeness of the Theory of Combinators

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 634 KB

english, 1941

26

The System LD

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1952

Language:

english

File:

PDF, 575 KB

english, 1952

27

Modified basic functionality in combinatory logic

Haskell B. Curry

Journal:

Year:

1969

Language:

english

File:

PDF, 482 KB

english, 1969

28

Logic as Mathematical Science

CURRY, Haskell B.

Journal:

Annals of the Japan Association for Philosophy of Science

Year:

1963

File:

PDF, 753 KB

1963

29

Axioms for Strong Reduction in Combinatory Logicby Roger Hindley;The Decidability of Hindley's Axioms for Strong Reductionby Bruce Lercher

Review by: Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 366 KB

english, 1971

30

A Modern Formal Logicby M. Fisk

Review by: Haskell B. Curry

Journal:

Foundations of Language

Year:

1967

Language:

english

File:

PDF, 287 KB

english, 1967

31

The Consistency of a System of Combinatory Restricted Generality

Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 128 KB

english, 1973

32

The Language of Logicby Hans Freudenthal

Review by: Haskell B. Curry

Journal:

Foundations of Language

Year:

1970

Language:

english

File:

PDF, 226 KB

english, 1970

33

Mathematical Teaching and National Defense

Haskell B. Curry

Journal:

The School Review

Year:

1942

Language:

english

File:

PDF, 210 KB

english, 1942

34

The method of steepest descent for non-linear minimization problems

Curry, Haskell B.

Journal:

Quarterly of Applied Mathematics

Year:

1944

Language:

english

File:

PDF, 508 KB

english, 1944

35

Combinatory recursive objects of all finite types

Curry, Haskell B.

Journal:

Bulletin of the American Mathematical Society

Year:

1964

File:

PDF, 275 KB

1964

36

Including an Update to A Bibliography of Symbolic Logic || Logical Calculusby Paul Bernays

Review by: Haskell B. Curry

Journal:

Journal of Symbolic Logic

Year:

1938

Language:

english

File:

PDF, 286 KB

english, 1938

37

II.—MATHEMATICS, SYNTACTICS AND LOGIC 1

CURRY, HASKELL B.

Journal:

Year:

1953

Language:

english

File:

PDF, 517 KB

english, 1953

38

The Weak Theory of Implicationby Alonzo Church

Review by: Haskell B. Curry and William Craig

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 196 KB

english, 1953

39

Louisiana Heron in Centre County, Pennsylvania

Haskell B. Curry

Journal:

Year:

1933

Language:

english

File:

PDF, 121 KB

english, 1933

40

The Language of Logicby Hans Freudenthal

Review by: Haskell B. Curry

Journal:

Foundations of Language

Year:

1970

File:

PDF, 226 KB

1970

41

Gadwall in Center County, Pennsylvania

James H. Holzman and Haskell B. Curry

Journal:

Year:

1942

Language:

english

File:

PDF, 157 KB

english, 1942

42

[Studies in Logic and the Foundations of Mathematics] Combinatory Logic Volume 22 || Preface

Curry, Haskell B.

Year:

1958

Language:

english

File:

PDF, 305 KB

english, 1958

43

[Studies in Logic and the Foundations of Mathematics] Outlines of a Formalist Philosophy of Mathematics Volume 3 || Preface

Curry, Haskell B.

Year:

1951

Language:

english

File:

PDF, 286 KB

english, 1951

44

Richardson's Owl in Vermont in Summer

Warren F. Eaton and Haskell B. Curry

Journal:

Year:

1924

Language:

english

File:

PDF, 150 KB

english, 1924

45

[Studies in Logic and the Foundations of Mathematics] Combinatory Logic Volume 65 || Preface

Curry, Haskell B.

Year:

1972

Language:

english

File:

PDF, 145 KB

english, 1972

46

Zygomaticotemporal approach to the basis cranii and basilar artery

Neil-Dwyer, G, Sharr, M, Haskell, R, Currie, D, Hosseini, M

Journal:

Year:

1988

File:

PDF, 2.00 MB

1988

47

Zygomaticotemporal Approach to the Basis Cranii and Basilar Artery

Neil-Dwyer, Glenn, Sharr, Michael, Haskell, Richard, Currie, David, Hosseini, Massoud

Journal:

Year:

1988

File:

PDF, 2.00 MB

1988

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски